even a even b dfa